<header>KDC</header>

De naam van de host waarop KDC werkt voor deze omgeving met, optioneel, de
poort nummers.<br>
Dit moet alleen gebruikt worden indien de KDC informatie niet beschikbaar is
via een DNS.
<hr>
